Optimal. Leaf size=402 \[ -\frac {1}{4} i \sqrt [3]{c-i d} x+\frac {1}{4} i \sqrt [3]{c+i d} x-\frac {\sqrt {3} \sqrt [3]{c} \text {ArcTan}\left (\frac {\sqrt [3]{c}+2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt {3} \sqrt [3]{c}}\right )}{f}+\frac {\sqrt {3} \sqrt [3]{c-i d} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c-i d}}}{\sqrt {3}}\right )}{2 f}+\frac {\sqrt {3} \sqrt [3]{c+i d} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c+i d}}}{\sqrt {3}}\right )}{2 f}-\frac {\sqrt [3]{c-i d} \log (\cos (e+f x))}{4 f}-\frac {\sqrt [3]{c+i d} \log (\cos (e+f x))}{4 f}-\frac {\sqrt [3]{c} \log (\tan (e+f x))}{2 f}+\frac {3 \sqrt [3]{c} \log \left (\sqrt [3]{c}-\sqrt [3]{c+d \tan (e+f x)}\right )}{2 f}-\frac {3 \sqrt [3]{c-i d} \log \left (\sqrt [3]{c-i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}-\frac {3 \sqrt [3]{c+i d} \log \left (\sqrt [3]{c+i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.36, antiderivative size = 402, normalized size of antiderivative = 1.00, number of steps
used = 19, number of rules used = 10, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.476, Rules used = {3655, 3609,
3620, 3618, 59, 631, 210, 31, 3715, 52} \begin {gather*} -\frac {\sqrt {3} \sqrt [3]{c} \text {ArcTan}\left (\frac {2 \sqrt [3]{c+d \tan (e+f x)}+\sqrt [3]{c}}{\sqrt {3} \sqrt [3]{c}}\right )}{f}+\frac {\sqrt {3} \sqrt [3]{c-i d} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c-i d}}}{\sqrt {3}}\right )}{2 f}+\frac {\sqrt {3} \sqrt [3]{c+i d} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c+i d}}}{\sqrt {3}}\right )}{2 f}+\frac {3 \sqrt [3]{c} \log \left (\sqrt [3]{c}-\sqrt [3]{c+d \tan (e+f x)}\right )}{2 f}-\frac {3 \sqrt [3]{c-i d} \log \left (-\sqrt [3]{c+d \tan (e+f x)}+\sqrt [3]{c-i d}\right )}{4 f}-\frac {3 \sqrt [3]{c+i d} \log \left (-\sqrt [3]{c+d \tan (e+f x)}+\sqrt [3]{c+i d}\right )}{4 f}-\frac {\sqrt [3]{c-i d} \log (\cos (e+f x))}{4 f}-\frac {\sqrt [3]{c+i d} \log (\cos (e+f x))}{4 f}-\frac {1}{4} i x \sqrt [3]{c-i d}+\frac {1}{4} i x \sqrt [3]{c+i d}-\frac {\sqrt [3]{c} \log (\tan (e+f x))}{2 f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 52
Rule 59
Rule 210
Rule 631
Rule 3609
Rule 3618
Rule 3620
Rule 3655
Rule 3715
Rubi steps
\begin {align*} \int \cot (e+f x) \sqrt [3]{c+d \tan (e+f x)} \, dx &=-\int \tan (e+f x) \sqrt [3]{c+d \tan (e+f x)} \, dx+\int \cot (e+f x) \sqrt [3]{c+d \tan (e+f x)} \left (1+\tan ^2(e+f x)\right ) \, dx\\ &=-\frac {3 \sqrt [3]{c+d \tan (e+f x)}}{f}+\frac {\text {Subst}\left (\int \frac {\sqrt [3]{c+d x}}{x} \, dx,x,\tan (e+f x)\right )}{f}-\int \frac {-d+c \tan (e+f x)}{(c+d \tan (e+f x))^{2/3}} \, dx\\ &=-\left (\frac {1}{2} (-i c-d) \int \frac {1+i \tan (e+f x)}{(c+d \tan (e+f x))^{2/3}} \, dx\right )-\frac {1}{2} (i c-d) \int \frac {1-i \tan (e+f x)}{(c+d \tan (e+f x))^{2/3}} \, dx+\frac {c \text {Subst}\left (\int \frac {1}{x (c+d x)^{2/3}} \, dx,x,\tan (e+f x)\right )}{f}\\ &=-\frac {\sqrt [3]{c} \log (\tan (e+f x))}{2 f}-\frac {\left (3 \sqrt [3]{c}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{c}-x} \, dx,x,\sqrt [3]{c+d \tan (e+f x)}\right )}{2 f}-\frac {\left (3 c^{2/3}\right ) \text {Subst}\left (\int \frac {1}{c^{2/3}+\sqrt [3]{c} x+x^2} \, dx,x,\sqrt [3]{c+d \tan (e+f x)}\right )}{2 f}-\frac {(c-i d) \text {Subst}\left (\int \frac {1}{(-1+x) (c-i d x)^{2/3}} \, dx,x,i \tan (e+f x)\right )}{2 f}-\frac {(c+i d) \text {Subst}\left (\int \frac {1}{(-1+x) (c+i d x)^{2/3}} \, dx,x,-i \tan (e+f x)\right )}{2 f}\\ &=-\frac {1}{4} i \sqrt [3]{c-i d} x+\frac {1}{4} i \sqrt [3]{c+i d} x-\frac {\sqrt [3]{c-i d} \log (\cos (e+f x))}{4 f}-\frac {\sqrt [3]{c+i d} \log (\cos (e+f x))}{4 f}-\frac {\sqrt [3]{c} \log (\tan (e+f x))}{2 f}+\frac {3 \sqrt [3]{c} \log \left (\sqrt [3]{c}-\sqrt [3]{c+d \tan (e+f x)}\right )}{2 f}+\frac {\left (3 \sqrt [3]{c}\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c}}\right )}{f}+\frac {\left (3 \sqrt [3]{c-i d}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{c-i d}-x} \, dx,x,\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}+\frac {\left (3 (c-i d)^{2/3}\right ) \text {Subst}\left (\int \frac {1}{(c-i d)^{2/3}+\sqrt [3]{c-i d} x+x^2} \, dx,x,\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}+\frac {\left (3 \sqrt [3]{c+i d}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{c+i d}-x} \, dx,x,\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}+\frac {\left (3 (c+i d)^{2/3}\right ) \text {Subst}\left (\int \frac {1}{(c+i d)^{2/3}+\sqrt [3]{c+i d} x+x^2} \, dx,x,\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}\\ &=-\frac {1}{4} i \sqrt [3]{c-i d} x+\frac {1}{4} i \sqrt [3]{c+i d} x-\frac {\sqrt {3} \sqrt [3]{c} \tan ^{-1}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c}}}{\sqrt {3}}\right )}{f}-\frac {\sqrt [3]{c-i d} \log (\cos (e+f x))}{4 f}-\frac {\sqrt [3]{c+i d} \log (\cos (e+f x))}{4 f}-\frac {\sqrt [3]{c} \log (\tan (e+f x))}{2 f}+\frac {3 \sqrt [3]{c} \log \left (\sqrt [3]{c}-\sqrt [3]{c+d \tan (e+f x)}\right )}{2 f}-\frac {3 \sqrt [3]{c-i d} \log \left (\sqrt [3]{c-i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}-\frac {3 \sqrt [3]{c+i d} \log \left (\sqrt [3]{c+i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}-\frac {\left (3 \sqrt [3]{c-i d}\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c-i d}}\right )}{2 f}-\frac {\left (3 \sqrt [3]{c+i d}\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c+i d}}\right )}{2 f}\\ &=-\frac {1}{4} i \sqrt [3]{c-i d} x+\frac {1}{4} i \sqrt [3]{c+i d} x-\frac {\sqrt {3} \sqrt [3]{c} \tan ^{-1}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c}}}{\sqrt {3}}\right )}{f}+\frac {\sqrt {3} \sqrt [3]{c-i d} \tan ^{-1}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c-i d}}}{\sqrt {3}}\right )}{2 f}+\frac {\sqrt {3} \sqrt [3]{c+i d} \tan ^{-1}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c+i d}}}{\sqrt {3}}\right )}{2 f}-\frac {\sqrt [3]{c-i d} \log (\cos (e+f x))}{4 f}-\frac {\sqrt [3]{c+i d} \log (\cos (e+f x))}{4 f}-\frac {\sqrt [3]{c} \log (\tan (e+f x))}{2 f}+\frac {3 \sqrt [3]{c} \log \left (\sqrt [3]{c}-\sqrt [3]{c+d \tan (e+f x)}\right )}{2 f}-\frac {3 \sqrt [3]{c-i d} \log \left (\sqrt [3]{c-i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}-\frac {3 \sqrt [3]{c+i d} \log \left (\sqrt [3]{c+i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{4 f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.86, size = 744, normalized size = 1.85 \begin {gather*} \frac {-4 \sqrt {3} \sqrt [3]{c} \text {ArcTan}\left (\frac {\sqrt [3]{c}+2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt {3} \sqrt [3]{c}}\right )+2 \sqrt {3} \sqrt [3]{c-i d} \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c-i d}}}{\sqrt {3}}\right )+\frac {2 \sqrt {3} c \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c+i d}}}{\sqrt {3}}\right )}{(c+i d)^{2/3}}+\frac {2 i \sqrt {3} d \text {ArcTan}\left (\frac {1+\frac {2 \sqrt [3]{c+d \tan (e+f x)}}{\sqrt [3]{c+i d}}}{\sqrt {3}}\right )}{(c+i d)^{2/3}}+4 \sqrt [3]{c} \log \left (\sqrt [3]{c}-\sqrt [3]{c+d \tan (e+f x)}\right )-\frac {2 c \log \left (\sqrt [3]{c-i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{(c-i d)^{2/3}}+\frac {2 i d \log \left (\sqrt [3]{c-i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{(c-i d)^{2/3}}-\frac {2 c \log \left (\sqrt [3]{c+i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{(c+i d)^{2/3}}-\frac {2 i d \log \left (\sqrt [3]{c+i d}-\sqrt [3]{c+d \tan (e+f x)}\right )}{(c+i d)^{2/3}}-2 \sqrt [3]{c} \log \left (c^{2/3}+\sqrt [3]{c} \sqrt [3]{c+d \tan (e+f x)}+(c+d \tan (e+f x))^{2/3}\right )+\frac {c \log \left ((c-i d)^{2/3}+\sqrt [3]{c-i d} \sqrt [3]{c+d \tan (e+f x)}+(c+d \tan (e+f x))^{2/3}\right )}{(c-i d)^{2/3}}-\frac {i d \log \left ((c-i d)^{2/3}+\sqrt [3]{c-i d} \sqrt [3]{c+d \tan (e+f x)}+(c+d \tan (e+f x))^{2/3}\right )}{(c-i d)^{2/3}}+\frac {c \log \left ((c+i d)^{2/3}+\sqrt [3]{c+i d} \sqrt [3]{c+d \tan (e+f x)}+(c+d \tan (e+f x))^{2/3}\right )}{(c+i d)^{2/3}}+\frac {i d \log \left ((c+i d)^{2/3}+\sqrt [3]{c+i d} \sqrt [3]{c+d \tan (e+f x)}+(c+d \tan (e+f x))^{2/3}\right )}{(c+i d)^{2/3}}}{4 f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.27, size = 0, normalized size = 0.00 \[\int \cot \left (f x +e \right ) \left (c +d \tan \left (f x +e \right )\right )^{\frac {1}{3}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \sqrt [3]{c + d \tan {\left (e + f x \right )}} \cot {\left (e + f x \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 15.56, size = 2133, normalized size = 5.31 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________